Subotić, Pavle: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Fractional-order model identification for state of health assessment of solid-oxide fuel cells

Dolenc, Boštjan, Nusev, Gjorgji, Subotić, Vanja, Hochenauer, Christoph, Gehring, Nicole, Juričić, Đani, Boškoski, Pavle

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 437 KB

english, 2018

2

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Exploring interpolants

Rummer, Philipp, Subotic, Pavle

Year:

2013

Language:

english

File:

PDF, 808 KB

english, 2013

3

[ACM Press the 10th International Workshop - Washington, DC, USA (2019.02.17-2019.02.17)] Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM'19 - Brie

Jordan, Herbert, Subotić, Pavle, Zhao, David, Scholz, Bernhard

Year:

2019

File:

PDF, 699 KB

2019

4

[ACM Press the 10th International Workshop - Washington, DC, USA (2019.02.17-2019.02.17)] Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM'19 - Brie

Jordan, Herbert, Subotić, Pavle, Zhao, David, Scholz, Bernhard

Year:

2019

Language:

english

File:

PDF, 699 KB

english, 2019

5

[IEEE 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT) - Seattle, WA, USA (2019.9.23-2019.9.26)] 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT) - Fast Parallel Equivalence Relations in a Datalog Compiler

Nappa, Patrick, Zhao, David, Subotic, Pavle, Scholz, Bernhard

Year:

2019

File:

PDF, 2.71 MB

2019

6

[ACM Press the 25th International Conference - Barcelona, Spain (2016.03.17-2016.03.18)] Proceedings of the 25th International Conference on Compiler Construction - CC 2016 - On fast large-scale program analysis in Datalog

Scholz, Bernhard, Jordan, Herbert, Subotić, Pavle, Westmann, Till

Year:

2016

Language:

english

File:

PDF, 538 KB

english, 2016

7

Guiding Craig interpolation with domain-specific abstractions

Leroux, Jérôme, Rümmer, Philipp, Subotić, Pavle

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 1002 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски